parametric polymorphism造句

Other researchers have also modeled parametric polymorphism within constructive set theories.
Parametric polymorphism is also available in several object-oriented languages.
Programming languages that support parametric polymorphism make use of universally quantified type variables.
parametric polymorphism is one of the major features introduced in J2SE 5.0.
Type classes are closely related to parametric polymorphism.
It's difficult to find parametric polymorphism in a sentence. 用parametric polymorphism造句挺难的

This is in contrast to parametric polymorphism on types, which is supported in Haskell.
Parametric polymorphism is ubiquitous in functional programming, where it is often simply referred to as " polymorphism ".
Static polymorphism typically occurs in ad hoc polymorphism and parametric polymorphism, whereas dynamic polymorphism is usual for subtype polymorphism.
It is a strongly typed language, the type system being based on many-sorted logic with parametric polymorphism.
The top type is used as a " generic " type, more so in languages without parametric polymorphism.
Templates in C + + provide a sophisticated mechanism for writing generic, polymorphic code ( i . e . parametric polymorphism ).
As such, CAL is a strongly typed, lazily evaluated functional language, supporting algebraic functions and data types with parametric polymorphism and type inferencing.
Kinds appear, either explicitly or implicitly, in languages whose type systems account for parametric polymorphism in a programatically accessible way, such as Scala.
In programming languages that support generics ( a . k . a . parametric polymorphism ), the programmer can extend the type system with new constructors.
parametric polymorphism ) use type parameters, which make it possible to design classes and methods that do not specify the type used until the class or method is instantiated.

更多例句：下一页